1. Information flow : the logic of distributed systems

by Seligman, Jerry.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1997Availability: Items available for loan: [Call number: 003.54 BAR] (1).
2. Process algebra : equational theories of communicating processes

by Baeten, J. C. M | Basten, T | Reniers, M. A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 004.0151 BAE] (1).

Powered by Koha